satisfiability procedure
可满足性过程
热门查询
- cholesterol n. [生化] 胆固醇
- shinny n. 简易曲棍球棒 vi. 击球；攀爬
- memorabilia n. 大事记；值得纪念的事物
- conveniently adv. 便利地；合宜地
- pushover n. 易于征服或控制的人；容易打败的对手；容易做的事情
- metamorphism n. 变质；变形；变态
- pinny n. 围嘴儿；围巾（pinafore）
- mart n. 集市；商业中心 n. (Mart)人名；(爱沙)马尔特；(塞、法、土库、阿塞、俄)马尔特
- Bramhall [人名] [英格兰人姓氏] 布拉姆霍尔 Bramall的变体; [地名] [英国] 布拉姆霍尔
- Ariadne n. [希神]阿里阿德涅(国王Minos的女儿,曾给情人Theseus一个线团,帮助他走出迷宫)
- uprooted vt. 根除，连根拔起；迫使某人离开出生地或定居处 vi. 迁离；改变生活方式
- manioc n. 树薯粉；树薯
- burglar n. 夜贼，窃贼
- BALMORAL n. 斜纹呢衬裙, 一种镶花边的鞋
- unattended adj. 无侍从的；没人照顾的，未被注意的；（会议等）无人出席的；（疾病）未治疗的；无伴的
- transferable adj. 可转让的；[数] 可转移的
- foolproof n. 极简单；安全自锁装置 adj. 十分简单的；十分安全的；不会错的
- afterimage n. [生理][心理] 后像；余象
- acerbically 酸地 尖酸地
- silva n. 森林里的树木；森林志（等于sylva） n. (Silva)人名；(德、俄、法、罗、塞、葡、瑞典、斯里、西、意、英)席尔瓦
